Proof Trios Don't Work